#objdump: -d -z #name: flonum constants .*: +file format .*c4x.* Disassembly of section .text: 00000000 : 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 : f: 80000000.* 10: 00000000.* 11: ff000000.* 12: ff800000.* 13: 53fba6af.* 14: 01400000.* 15: 06760000.* 16: 01490fdb.* 00000017 : 17: 80000000.* 18: 00000000.* 19: ff000000.* 1a: ff800000.* 1b: 53fba6af.* 1c: 01400000.* 1d: 06760000.* 1e: 01490fdb.* 0000001f : 1f: 80000000.* 20: 00000000.* 21: ff000000.* 22: ff800000.* 23: 53fba6af.* 24: 01400000.* 25: 06760000.* 26: 01490fdb.* 00000027 : 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 : 37: 00000000.* 38: 3f800000.* 39: 3f000000.* 3a: bf800000.* 3b: 00000000.* 3c: e9045951.* 3d: 40400000.* 3e: 42f60000.* 3f: 40490fdb.*