finish supporting infinity bound