(args)
return x._values.new_string().from_str(bytes(to_double(x).to_bytes()))
MKD$: return the byte representation of a double.
MKD$: return the byte representation of a double.
MKD$ : return the byte representation of a double .
def mkd_(args):
    """MKD$: return the byte representation of a double."""
    x, = args
    return x._values.new_string().from_str(bytes(to_double(x).to_bytes()))
def mkd_ ( args ) : x , = args return x . _values . new_string ( ) . from_str ( bytes ( to_double ( x ) . to_bytes ( ) ) )