What are coding conventions for using floating-point in Linux device drivers? What are coding conventions for using floating-point in Linux device drivers? linux linux