Hi, Is it a possible goal to add floating point support to bitproto? If it seems feasible, I can try to work on it.