Re-add src/num.f90