Material for the course "Optimal floating point computation" given at the ESC school