Don't attempt bounds inference on opaque pointers
Fix divisor overflow in lerp test