Implement `erfinv` for `Float32` and `Float64`#1344

ararslan wants to merge 1 commit intogoogle-research:maingoogle-research/dex-lang:mainfrom

ararslan:aa/erfinvararslan/dex-lang:aa/erfinvCopy head branch name to clipboard