Overhead Rainbow

​Rainbows are seen opposite from the source of illumination. There do exist secondary rainbows that require the light rays to make more turns, but these are often too faint to be seen. However, one day I looked straight up to see a rainbow around the sun (which was behind a cloud). What’s going on? Could it be formed from ice crystals instead of water droplets? Why have I never seen these before?