19e+09);
	draw_slider(no);
}

function float_changed() {
	const value = document.getElementById("float_").value;
	document.getElementById("float_lb").innerHTML = String(Math.floor(value * 10) / 10);
	document.getElementById("float_ub").innerHTML = String(Math.ceil(value * 10) / 10);
}

function rational_changed() {
	const value = document.getElementById("rational_n").value / document.getElementById("rational_d").value;
	var lb_n = 0;
	var lb_d = 99;
	var ub_n = 99;
	var ub_d = 0;
	for(var n = 0; n < 100; n 