public static Pointer<Byte > PyOS_double_to_string(double val, byte format_code, int precision, int flags, Pointer<Integer > type) {
		return Pointer.pointerToAddress(PyOS_double_to_string(val, format_code, precision, flags, Pointer.getPeer(type)), Byte.class);
	}