Use numeric type rather than String for `numVersions`?