", "-14"],
	["110100", "-3.00", "-16"],
	["110101", "-2.75", "-20"],
	["110110", "-2.50", "-24"],
	["110111", "-2.25", "-28"],
	["111000", "-2.00", "-32"],
	["111001", "-1.75", "-40"],
	["111010", "-1.50", "-48"],
	["111011", "-1.25", "-56"],
	["111100", "-1.00", "negative infinite"],
	["111101", "-0.75", "not a number"],
	["111110", "-0.50", "not a number"],
	["111111", "-0.25", "not a number"]
];

function fill_all_numbers_table() {
	var all_numbers_table = document.getElementById("all_numbers_table");
	a