Uncertain no longer subtype of FloatingPoint

It makes everything simpler