added docs for exact floating-point conversion