-- CoreFormalism.FixedPoint - re-export for backward compatibility
import SilverSight.FixedPoint

namespace CoreFormalism.FixedPoint
  -- Type aliases for backward compatibility
  abbrev Q16_16 := SilverSight.FixedPoint.Q16_16
  abbrev Q0_16 := SilverSight.FixedPoint.Q0_16
  abbrev Q0_64 := SilverSight.FixedPoint.Q0_64
end CoreFormalism.FixedPoint