refs #43: typecast ints