frontend: command-line: use abstract type names for int and real