ensure a dot in large float32 constants
fix uitofp of i64 to float32