Should #:proper be exported from prelude?

[ornamentist]

I notice that floor and ceiling are re-exported via the Coalton prelude from the library/math/real package. Should proper also be re-exported?

All three are defined in the Quantizable typeclass and the issue comes up when making user defined types implement Quantizable.