DoubleFormat.v 255 Bytes