1 <= i64 or nil == f32
