python-{writefile,writefloat,class}