Fix overflow in RCons