Bump version in Number.php