Function float

fn float<'ob>(
    arg: Gc<NumberType<'ob>>,
    cx: &'ob Context<'_>,
) -> Gc<NumberType<'ob>>