Why don't you give
Michael as the middle name so the girl doesn't have to deal with having such a masculine first name. I don't get it when people will give their daughter or son a feminine or masculine middle name when you never use middle names in life, it's basically pointless unless you want to show your kid you actually did acknowledge their gender when they were born. Just seems silly and needlessly annoying for the child.
Unless you don't intend to use it on an actual living person, then whatever.