DoubleFormat.v 980 Bytes