Library to use mathematical intervals in php