A combined interval and floating-point divider | IEEE Conference Publication | IEEE Xplore