: VALUE rb_Float(VALUE val)

