See comment about `Number` above.