#lang typed/racket
(require [rename-in typed/rackunit [check-equal? test]])

(define (safe-div2 [num : Number] [den : Number])
  (if (zero? den)
      #f
      (/ num den)))

(test (safe-div2 42 0) #f)
(test (safe-div2 42 12) 7/2)