+7 −0 hexfloat.json

+7 −3 newpr.py

+1 −1 rust.json