Shouldn't the REST result be a `Number` already?