div

I think this should take an argument for how much precision to have, instead of hardcoding to 64?