cast string times to int