Removed unused number_as_integer declaration in datum.hpp.