[[ Bugfix 13725 ]] Various fixes to binaryDecode