cgOp LFloatStr [x] = do
    x' <- unbox (FArith ATFloat) x
    ustr <- inst (idrCall "__idris_floatStr" [x'])
    box FString ustr 
cgOp LFloatStr [x] = do
    x' <- unbox (FArith ATFloat) x
    ustr <- inst (idrCall "__idris_floatStr" [x'])
    box FString ustr 
cgOp LFloatStr [x] = do
    x' <- unbox (FArith ATFloat) x
    ustr <- inst (idrCall "__idris_floatStr" [x'])
    box FString ustr 