Introduce #half-interval
Implement #fixed-point