Double float for spinbutton.adjustment.value ?

["Jorge Sousa" <jsousa cfn ist utl pt>]

Hello,

For scientific applications where numbers may have more than 8 decimal
digits it could be helpfull if the value of a spinbutton is a double float.
Is it possible to change the type using a function call or the gtk+ code
must be changed and the library recompiled?

Thanks