use %x,%x format for listing start and end addresses

This matches the format expected by recent versions of GDB's
disassemble command.
fix NaN handling in floating point comparisons