[math-fun] Another weird leap year rule