#lang typed/racket/base
(ann (ann 5 Real) Integer)