allow non-integer font sizes in `font%`, `make-font`, etc.

The `get-point-size` method of `font%` still returns integers,
while a new (and better named) `get-size` method returns an
inexact real nuber between 0.0 and 1024.0.