A finitist computer scientists only accepts those numbers as real that can be expressed exactly in finite base-two floating point?