(define impc:compiler:print-bad-numeric-value-error
(lambda (value expected-type)
(print-with-colors *impc:compiler:pretty-print-error-color*
'default #t (print "Type Error"))
(print " bad numeric value ")
(print-with-colors *impc:compiler:pretty-print-code-color* 'default #f (print value))
(print ", should be ")
(print-with-colors *impc:compiler:pretty-print-type-color* 'default #f (print expected-type "\n"))
(if (impc:aot:currently-compiling?)
(quit 2)
(throw ""))))