# Typed Racket and Flonums

**URL:** <https://racket.discourse.group/t/typed-racket-and-flonums/1067>\
**Category:** Questions & Answers\
**Created:** [June 7, 2022, 10:48pm UTC](https://racket.discourse.group/t/typed-racket-and-flonums/1067 "2022-06-07T22:48:53Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![alexh](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/alexh/32/315_2.png) [@alexh](https://racket.discourse.group/u/alexh)\
**Post date:** [June 7, 2022, 10:48pm UTC](https://racket.discourse.group/t/typed-racket-and-flonums/1067/1 "2022-06-07T22:48:53Z")

</div>

Is Typed Racket able to replace functions such as `+`, `sqrt` and `sin` with their `fl` equivalents when all the arguments are Flonums? For example, is TR able to transform the code below:

```scheme
(: radians->chlen (-> Flonum Flonum))
(define (radians->chlen r)
  (* 2.0 (sin (* 0.5 (min pi r))))))

```

Into:

```scheme
(: radians->chlen (-> Flonum Flonum))
(define (radians->chlen r)
  (fl* 2.0 (flsin (fl* 0.5 (flmin pi r))))))

```

Alex.

---

<div class="post-metadata">

**Author:** ![sorawee](https://avatars.discourse-cdn.com/v4/letter/s/ea5d25/32.png) [@sorawee](https://racket.discourse.group/u/sorawee)\
**Post date:** [June 7, 2022, 11:13pm UTC](https://racket.discourse.group/t/typed-racket-and-flonums/1067/2 "2022-06-07T23:13:43Z")

</div>

Yes, you can use the macro stepper to check that.

 ![Screen Shot 2022-06-07 at 4.13.07 PM.png](https://global.discourse-cdn.com/free1/uploads/racket/original/1X/f40c50ecbbc3289d25c1e60a378613377a98b6a2.jpeg)