Fraction digits

Added registry entries for specifying higher number of fraction digits.
Changes in NavigationConversion.java should be done somewhere in the init (needed only once).