sysadmin: Refer to trac floating point ticket #12466