That number is a record, even in the sky-high world of Hong Kong real estate.