Change set_default() to take value as integer, required for tcp_ecn > 1