The original implementation has symbolic infinities. IEEE infinities only will be used in the future.