specmicp/src/physics/maths.hpp

fixpoint