vade: Fix bin() for 64 bits :-)