There was a kitty with 25519117 hairs!