Style fixes for floating-point doc.