0. #lang racket/base
1.  
2. (require racket/format
3.          (for-syntax syntax/parse)
4.          (for-syntax racket/base))
5.  
6. (define-syntax (print stx)
7.   (syntax-parse stx
8.     (((~literal print) expr)
9.      (if #t ;; need some condition here that knows whether expr is an integer or a float
10.          (syntax/loc stx
11.            (displayln (~r expr #:notation 'positional #:precision '(= 2))))
12.          (syntax/loc stx
13.            (printf "~a\n" expr))))))
14.  
15. (define-syntax (this stx)
16.   (syntax-parse stx
17.     (((~literal this) (expr ...))
18.      (syntax/loc stx (expr ...))
19.      )
20.     (((~literal this) datum)
21.      (if (exact? (syntax->datum #'datum))
22.        (printf "we know at compile time that is is an integer\n")
23.        (printf "we know at compile time that is is a float\n"))
24.      (syntax/loc stx datum))))
25.  
26.  
27. (print (this (this (this 123))))
28. (print (this (this (this 456.0))))

=>

we know at compile time that is is an integer 123.00

we know at compile time that is is a float 456.00