func floatFromhexImpl(s: string): float {....raises: [ValueError, Exception],
    tags: [], forbids: [].}

func hexImpl(x: float): string {....raises: [Exception], tags: [], forbids: [].}