{"shas":[["275ca53043be187206c514ad6c79af9fb8bc9285","8cf70a6643875e78a1d45f22f20149ba1e77bf58@ferentschik.de","HV-508 differentiating between long and double. Seems either way there is a trade-off to be made","Hardy Ferentschik"]],"ref":"refs/heads/master","size":1,"head":"275ca53043be187206c514ad6c79af9fb8bc9285","push_id":37246910}