[TF-A] Re: Floating point math