The part related to floating point optimization is really cool.