[[ NumberExpectation ]] Added new property to ExecContext, in order to specify when we want to get a number
This avoids a useless number -> ValueRef -> number conversion