#objdump: -d -z
#name: flonum constants

.*: +file format .*c4x.*

Disassembly of section .text:

00000000 <start>:
   0:	07608000.*
   1:	076012cd.*
   2:	07604580.*
   3:	0760e0a4.*
   4:	07604a80.*
   5:	0760ef5c.*
   6:	0760f800.*
   7:	07608000.*
   8:	07608000.*
   9:	0760f000.*
   a:	0760e800.*
   b:	076012cd.*
   c:	0760e0a4.*
   d:	07604a80.*
   e:	0760ef5c.*

0000000f <FLOAT>:
   f:	80000000.*
  10:	00000000.*
  11:	ff000000.*
  12:	ff800000.*
  13:	53fba6af.*
  14:	01400000.*
  15:	06760000.*
  16:	01490fdb.*

00000017 <SINGLE>:
  17:	80000000.*
  18:	00000000.*
  19:	ff000000.*
  1a:	ff800000.*
  1b:	53fba6af.*
  1c:	01400000.*
  1d:	06760000.*
  1e:	01490fdb.*

0000001f <DOUBLE>:
  1f:	80000000.*
  20:	00000000.*
  21:	ff000000.*
  22:	ff800000.*
  23:	53fba6af.*
  24:	01400000.*
  25:	06760000.*
  26:	01490fdb.*

00000027 <LDOUBLE>:
  27:	80000000.*
  28:	00000000.*
  29:	00000000.*
  2a:	00000000.*
  2b:	ff000000.*
  2c:	00000000.*
  2d:	ff800000.*
  2e:	80000000.*
  2f:	53fba6ae.*
  30:	fba6ae9f.*
  31:	01400000.*
  32:	40000000.*
  33:	06760000.*
  34:	76000000.*
  35:	01490fda.*
  36:	490fdaa3.*

00000037 <IEEE>:
  37:	00000000.*
  38:	3f800000.*
  39:	3f000000.*
  3a:	bf800000.*
  3b:	00000000.*
  3c:	e9045951.*
  3d:	40400000.*
  3e:	42f60000.*
  3f:	40490fdb.*