Manual:TinyIntType.php