Labels Milestones
BackNormal 2.964444e-001 9.550501e-001 -0.000000e+000 vertex 1.015835e+000 5.537292e+000 2.496000e+001 vertex 4.240551e+000 -1.444037e-002 2.495526e+001 facet normal 0.989318 0.097633 0.108249 facet normal 0.0950328 0.0293136 -0.995042 facet.
- 2.5; polygon([[0,0], [(board_width-insert_width)/2, -insert_depth.
- -1.941153e-05 -1.000000e+00 0.000000e+00 facet.