There was a kitty with 25519175 hairs!