fixed bug where mirror position query was getting cast to integer (finder credit to Nico)
fixed bug where mirror position query was getting cast to integer (finder credit to Nico)

git-svn-id: 03a8048b5ee8463be5048a3801110fb50f378627@11874 d0ab736e-dc22-4aeb-8dc9-08def0aa14fd

kmdouglass/Micro-Manager,kmdouglass/Micro-Manager