$4.5 billion to Russian tycoon's now-ex-wife; hubby may still appeal the ruling, though.