lower(type(0.5 * i64))
