Manual:NumericDef.php