Efficient and reliable methods for rounded-interval arithmetic