numerical declarations now canonicalized