Make sure the default INI setting values are used for initialisation as well.
Verify that values are numeric and larger than 0.

INI settings in PHP are *always* strings, and ini_get() will therefore always
return a string as well.

Using is_numeric_string has the interesting property that hexadecimal values (a
la 0x05) are now also supported.