Manual:FloatDef.php