I think Cat is right, double hollow refers to extra hollow ground.




I believe this is referred to as "bellied hollow ground", which would be different from both full hollow and double...