It would be nice if autoconversion of real worked in the C FFI. (Bonus points if Real32 also worked, but that can be worked around.)