[medium] convertion from uint64 to float64, take two (cuz maybe I forgot a few...)