Closed elrandar closed 1 month ago
This PR changes the default floating point type of the c++ backend to be double instead of float. This is to be closer to OCaml, where the float type uses double precision by default.
double
float
This PR changes the default floating point type of the c++ backend to be
double
instead offloat
. This is to be closer to OCaml, where thefloat
type uses double precision by default.