fix some float64 code style