Symbol: float64_to_int64_no_overflow