Rename `float64` types from `Float64` to `Float`#1773

Merged

meatballhat merged 2 commits intomainfrom rename-float64

Jun 23, 2023

+151-167

Commits on Jun 20, 2023

Rename float64 types from Float64 to Float
meatballhat
committed

Commits on Jun 23, 2023

Merge branch 'main' into rename-float64
meatballhat
authored