On 12/31/2013 06:22 AM, Peter Maydell wrote:
> Or do you mean we should call float32_to_int32() instead?
> I think that ought to work...

Yes, that's what I meant.


r~

Reply via email to