<!DOCTYPE html>
<html lang="en">
<head>
	<meta charset="utf-8">
	<title>Floating point numbers</title>
	<link rel="shortcut icon" type="image/x-icon" href="favicon.svg" />
	<style>
body {
	margin: 2em;
}

a{
	text-decoration: none;
}

h1 {
	padding-top: 32pt;
	font-size: 24pt;
	width: 600pt;
}

h2 {
	padding-top: 16pt;
	font-size: 20pt;
	width: 555pt;
	text-align: left;
}

p {
	font-size: 16pt;
	width: 505pt;
	text-align: left;
}

.comment {
	font-size: 12pt;
	text-align:center;
	font-family: sans-serif;
	p