lecture15
add note about floating point