Add comments to explain uint64->f64 algorithm,