Add precision parameter to DoubleFormat