DoubleFormat.v 341 Bytes