Orphaning libinfinity