@@ -183,7 +183,7 @@ bcc i (ASSIGNCONST l c)
183183 mkConst (I i) = "MKINT(" ++ show i ++ ")"
184184 mkConst (BI i) | i < (2^30) = "MKINT(" ++ show i ++ ")"
185185 | otherwise = "MKBIGC(vm,\"" ++ show i ++ "\")"
186− mkConst (Fl f) = "MKFLOAT(vm, " ++ show f ++ ")"
186+ mkConst (Fl f) = "MKFLOAT(vm, " ++ (map toUpper $ show f) ++ ")"
187187 mkConst (Ch c) = "MKINT(" ++ show (fromEnum c) ++ ")"
188188 mkConst (Str s) = "MKSTR(vm, " ++ showCStr s ++ ")"
189189 mkConst (B8 x) = "idris_b8const(vm, " ++ show x ++ "U)"