format timelength variables

verify_timelength now accepts plain ints