initial code from crevillo

Don't you think we can start with a copy of the Float type ? It has most of the features we need, doesn't it ?