,
	["010001", "4.25", "10"],
	["010010", "4.50", "12"],
	["010011", "4.75", "14"],
	["010100", "5.00", "16"],
	["010101", "5.25", "20"],
	["010110", "5.50", "24"],
	["010111", "5.75", "28"],
	["011000", "6.00", "32"],
	["011001", "6.25", "40"],
	["011010", "6.50", "48"],
	["011011", "6.75", "56"],
	["011100", "7.00", "positive infinite"],
	["011101", "7.25", "not a number"],
	["011110", "7.50", "not a number"],
	["011111", "7.75", "not a number"],
	["100000", "-8.00", "-0"],
	["100001", "-7.75", "-0.25"],
	