But let's see: original examples have exact integers.