def win_ts_to_unix_epoch(high, low):
    """Convert Windows timestamp to POSIX timestamp.

    See https://goo.gl/VVX0nk

    Args:
        high (int): high 32 bits of windows timestamp.
        low (int): low 32 bits of windows timestamp.

    Returns:
        float
    """
    return high * ((2 ** 32) / 1e9) + low / 1e9 - 11644473600