casting numeric literal types at comile time

cast-literal-type-to-double.scala

// XDouble, ToDouble, OpAuxDouble from singleton-ops
// Greater from refined
implicit def impliesGTGT[L, R, LD <: XDouble, RD <: XDouble](implicit
    ld: OpAuxDouble[ToDouble[L], LD],
    rd: OpAuxDouble[ToDouble[R], RD],
    q: OpAuxBoolean[LD >= RD, true]): Greater[L] ==> Greater[R] =
  new Implies[Greater[L], Greater[R]] {}