Add a ptype argument to between() since we can't make it cast to the type of x at this time

Add a ptype argument to between() since we can't make it cast to the type of x at this time #4000