api.Div leading to a float

[infinite-pursuits]

Hi,
I do api.Div in my circuit. The result of this division should be a float and it is represented as a big number in the circuit. How do I interpret this big number? Like for negative integers, -1 gets converted to P-1. Looking for a similar way to interpret.

[ivokub]

See #711 (comment). In short, gnark does not support floating-point arithmetic. I do recommend adapting the algorithms such that you wouldn't have to perform floating-point operations. For example, instead of L2 metric you could use L1 metric.

[infinite-pursuits]

Yes that makes sense.
I wrote a hint function to calculate the quotient and the remainder and verified that in the circuit. and also squared the L2 norm. Cant use L1 unfortunately.

[sid-alluri]

Hi @infinite-pursuits

Are you able to perform the division?