T5: Finish slide 17

Slide 17 "Floating Point Assertions" is unfinished

Edited by Steven Palmer