SerializableDouble implemented use of set_fraction()

When serialize a SerializableDouble and set_fraction() is used
any call to to_string() will generated a string representation
using the required number of fractions.