It is also uniform polyhedron and Wenninger model . It's presented via the Schläfli image and Wythoff symbol . The octahedron of device side length will be the antiprism of sides with top . The octahedron can be a square dipyramid with equal edge lengths. The EBOOT Polyhedral Dice absolutely https://crithitceramics.com/product/fireball/