globalStaffSize in PAPER now takes real as opposed to integer