— is the decimal-encoded equivalent of —.