[boost] std_min/std_max reference return value is problematic with boost::interval