Values of basic type can be written down (denoted) in a program text by denotations:
Negative numbers can be written as expressions consisting of a monadic minus operator and an <#1583#>INT<#1583#> denotation, e.g. <#1584#>-57<#1584#>, as you might have suspected.