Category of reals for constraints.