def encode_uint48(val):
    """
    Format a value as an unsigned 48 bit integer

    Specs:
        * **uint48 len**: 6 bytes

        * **Format string**: 'J'
    """
    return val.to_bytes(6, 'little', signed=False)