half_interval_point and fixed_point add