Groveler: add support for float constants.

The CONSTANT groveler form now takes an additional keyword argument
TYPE, which defaults to INTEGER. In order to grovel floats,
DOUBLE-FLOAT must be used.