There was a kitty with 25519235 hairs!