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