more conservative bounds in FP interval arithmetic