Uses approximate division for now TODO: use full precision division for void when Fp division is ready
See Implementation
Uses approximate division for now TODO: use full precision division for void when Fp division is ready