Miracle #1 AoI only exports OBJ, POV and VRML and imports OBJ only, so it's not a one-step solution. In concert with UU3D or Milkshape, it's a great tool, especially for its Boolean modeling capabilities.