Grounding of numeric fluents.