Testing runtime-dynamic arithmetic