improving bounds with explicit boundaries to handle infinity better, along with common operations