Correctly benchmark w/ and w/o lazy numbers