representable

Unless by having nanosecond latency you mean that it has a latency that is representable in nanoseconds...

The challenge is that to be useful you need, at a minimum, generally correct intersection algorithms for all of the representable shapes.

Then x+y is represented as the open interval (x, x+ULP) where x+ULP is the smallest representable exact unum greater than x.

So if the representable numbers are equally spaced, then we cannot represent both 0 and 1, which seems sub-optimal.

I only own two pairs of shoes, my construction boots and a pair of representable shoes for visiting customers.

If you throw the dart, look for the nearest representable number and repeat until that number is in the interval, you get something different.

All real numbers are representable, but not necessarily to arbitrary precision.

Similarly, this kind of direct computation representation allows all sorts of instrumentations and various interesting transformations that are not representable in LC proper (without macros).

Is the unknot (as in, a loop) representable in this notation?

This gives the highest possible entropy and all numbers representable by floating points in that range can be returned, but the trade-off is that certain values will be returned vastly much more often than others.

Anyway, point is, the presentations are kind of flashy and misleading - and you're right, you can't represent any real number (just finitely representable dyadic intervals)...

Note that d0, d1, and h might not be representable.

"It's what you get if you throw a uniform random dart at the real line and round it to the nearest floating point number." Only when you throw the dart, repeat until you are in the target interval, and then look for the nearest representable number.